Filter quotients and non-presentable (∞,1)-toposes

نویسندگان

چکیده

We define filter quotients of $(\infty,1)$-categories and prove that preserve the structure an elementary $(\infty,1)$-topos in particular lift quotient underlying topos. then specialize to case products a characterization theorem for equivalences product. Then we use construct large class $(\infty,1)$-toposes are not Grothendieck $(\infty,1)$-toposes. Moreover, give one detailed example interested reader who would like see how can such $(\infty,1)$-category, but prefer avoid technicalities regarding filters.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Scattered Toposes 1

A class of toposes is introduced and studied, suitable for semantical analysis of an extension of the Heyting predicate calculus admitting GG odel's provability interpretation .

متن کامل

Cocomplete toposes whose exact completions are toposes

Let E be a cocomplete topos. We show that if the exact completion of E is a topos then every indecomposable object in E is an atom. As a corollary we characterize the locally connected Grothendieck toposes whose exact completions are toposes. This result strengthens both the Lawvere–Schanuel characterization of Boolean presheaf toposes and Hofstra’s characterization of the locally connected Gro...

متن کامل

Exact completions and toposes

Toposes and quasi-toposes have been shown to be useful in mathematics, logic and computer science. Because of this, it is important to understand the different ways in which they can be constructed. Realizability toposes and presheaf toposes are two important classes of toposes. All of the former and many of the latter arise by adding “good” quotients of equivalence relations to a simple catego...

متن کامل

Symplectic implosion and non-reductive quotients

There is a close relationship between Mumford’s geometric invariant theory (GIT) in (complex) algebraic geometry and the process of reduction in symplectic geometry. GIT was developed to construct quotients of algebraic varieties by reductive group actions and thus to construct and study moduli spaces [28, 29]. When a moduli space (or a compactification of a moduli space) over C can be construc...

متن کامل

Molecular Toposes*

In [2], Barr and Diaconescu characterized those Grothendieck toposes 8 for which the inverse image, A, of the geometric morphism r: 8 + Yet, is logical. It was shown (among other things) that this happens precisely when the lattice of subobjects of every object of 8 is a complete atomic boolean algebra. Toposes satisfying this property are called atomic. These results were relativised to the ca...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Pure and Applied Algebra

سال: 2021

ISSN: ['1873-1376', '0022-4049']

DOI: https://doi.org/10.1016/j.jpaa.2021.106770